VDict - Definition of theorem proving

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

Green's Theorem Nqthm QA4 CONNIVER metalanguage PLANNER four colour map theorem DeMorgan's theorem General Recursion Theorem head normalisation theorem Infinite Monkey Theorem Nyquist Theorem four colour theorem Computational Adequacy Theorem von Neumann ordinal occurs check Church-Rosser Theorem Prolog Carl Friedrich Gauss two-valued logic nontrivial Isabelle ASL+ Axiom of Choice backward chaining Harvard Mark II Machine LOP Sequel Brouwer Fixed-Point Theorem prime number theorem Nyquist frequency normal order reduction induction Banach inverse mapping theorem axiomatic set theory Qu-Prolog graph colouring hairy ball webmonkey deductive tableau chromatic number ill-behaved backtracking Electronic Numerical Integrator and Computer norm bogo-sort De Bruijn notation complex number intuitionistic logic one-banana problem eigenvector Cantor Banach space resolution Multipop-68 flame TeX